منابع مشابه
Automated Generation and Optimization of Public Railway and Rail Freight Transport Time Tables
Railway traffic now and in future faces ever-growing challenges. On the one hand, infrastructure measures must be planned and in the medium respectively long term corresponding operating programs have to be generated. On the other hand, in the short term economical and political reasons exert increasing influence on the requirements of timetabling as well. Hence, they can hardly be efficiently ...
متن کاملModelling Railway Interlocking Tables Using Coloured Petri Nets
Interlocking tables are the functional specification defining the routes, on which the passage of the train is allowed. Associated with the route, the states and actions of all related signalling equipment are also specified. This paper formally models the interlocking tables using Coloured Petri Nets (CPN). The CPN model comprises two parts: Signaling Layout and Interlocking Control. The Signa...
متن کاملExperience using Coloured Petri Nets to Model Railway Interlocking Tables
Interlocking tables are the functional specification defining the routes on which the passage of the train is allowed. Associated with the route, the states and actions of all related signalling equipment are also specified. It is well-known that designing and verifying the interlocking tables are labour intensive, tedious and prone to errors. To assist the verification process and detect error...
متن کاملDistributed Real-time Railway Simulator
The problem of control and management of railway transportation is a complex task with major outcomes in a modern society. Trains are suitable for transporting peoples and goods with a good trade-off between cost and rapidity. A railway system consists of a network of tracks, list of stations, safety devices (signals, sensors, etc) and a set of trains. Trains moves from one station to other alo...
متن کاملThe missing early history of contingency tables
— The apparent lack of a history of contingency tables before 1900 is explored, and three explanatory hypotheses are considered for the absence of early development on this topic: computational difficulty, lack of data, and conceptual hurdles. Finally, the importance to this history of the model of quasi-symmetry is briefly noted.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Library
سال: 1921
ISSN: 0024-2160,1744-8581
DOI: 10.1093/library/s4-ii.3.137